keyof Tを展開して見る

https://gyazo.com/553fb701a0ff4dee3e95b1cd05cfe6c7

VSCodeで見ても実際にどんなunion型になるのかパット見でわからない

これとか

code:ts

type Expand<T> = T extends infer O ? { K in keyof O: OK } : never;

type ExpandRecursively<T> = T extends object

? T extends infer O ? { K in keyof O: ExpandRecursively<OK> } : never

: T;

万能ではないけど